$\forall$$T$:Type, $x$:$T$, $a$:Atom2. $x$:$T$$\parallel$$a$ $\in$ $\mathbb{P}$